Total Books: 1 - 2 /2
A Practical Theory of Reactive Systems
A man may imagine he understands something, but still not understand anything in the way that he ought to. (Paul of Tarsus, ...
Weiterlesen
Temporal Logic and State Systems
Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification ...
Weiterlesen
Total Books: 1 - 2 /2
